1. Automated deduction for projection elimination
پدیدآورنده: / Vhristoph Wernhard.,ورنهارد,Wernhard
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: شناختنمایی (نظریه اطلاعات),معنیشناسی
رده :
Q
۳۸۷
/
و
۴
آ
۲ ۱۳۸۸
